Integrals and valuations

Hadwiger Integration of Definable Functions

HADWIGER INTEGRATION OF DEFINABLE FUNCTIONS Matthew L. Wright Robert Ghrist, Advisor This thesis defines and classifies valuations on definable functionals. The intrinsic volumes are valuations on “tame” subsets of R, and by easy extension, valuations on functionals on R with finitely many level sets, each a “tame” subset of R. We extend these valuations, which we call Hadwiger integrals, to de...

Quotient BCI-algebras induced by pseudo-valuations

In this paper, we study pseudo-valuations on a BCI-algebra and obtain some related results. The relation between pseudo-valuations and ideals is investigated. We use a pseudo-metric induced by a pseudovaluation to introduce a congruence relation on a BCI-algebra. We define the quotient algebra induced by this relation and prove that it is also a BCI-algebra and study its properties.

A localic theory of lower and upper integrals

An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the nonnegative lower reals, then its lower integral with respect to a valuation is a lower real. If the integrand takes its values in the non-negative upper reals, then its upper integral with respect to a covaluation and with domain of integration bounde...

Integral Geometry of Tensor Valuations

We prove a complete set of integral geometric formulas of Crofton type (involving integrations over affine Grassmannians) for the Minkowski tensors of convex bodies. Minkowski tensors are the natural tensor valued valuations generalizing the intrinsic volumes (or Minkowski functionals) of convex bodies. By Hadwiger’s general integral geometric theorem, the Crofton formulas yield also kinematic ...

Realization of a Certain Class of Semi-Groups as Value Semi-Groups of Valuations